Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
121	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
122	Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis Arne John Glenstrup December 13, 2002 Abstract This note describes some of the implementation aspects of the termination analysis for partial ev Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:50 Symbol Spectral theory of ordinary differential equations Linear temporal logic
123	770 Spatio-Temporal Complexity in Nonlinear Image Processing JAMES P. CRUTCHFIELD Add to Reading List Source URL: mural.uv.es Language: English - Date: 2012-12-18 13:42:47 Chaos theory Attractor Nature Coupled map lattice Science Intermittency Linear dynamical system Attractor network Cellular neural network Dynamical systems Systems theory Structure
124	ATTITUDES AND SOCIAL COGNITION The Temporal Pattern to the Experience of Regret Thomas Gilovich and Victoria Husted Medvec Through telephone surveys, written questionnaires, and face-to-face interviews, it was found that Add to Reading List Source URL: www.psych.cornell.edu Language: English - Date: 2005-10-14 17:03:43 Decision theory Heuristics Behavioral finance Israeli Jews Cognition Regret Simulation heuristic Counterfactual thinking Thomas Gilovich Cognitive science Mind Ethology
125	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic
126	Int. J. Systems Sci., 1970, vol. 1, No. 2, EVERY GOOD REGULATOR OF A SYSTEM MUST BE A MODEL OF THAT SYSTEM1 Roger C. Conant Department of Information Engineering, University of Illinois, Box 4348, Chicago, Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:20:11 Entropy Information Linear temporal logic Μ operator Information theory Symbol Constructible universe
127	Temporal Data Model for Program Debugging Demian Lessa Jan Chomicki Bharat Jayaraman Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-24 10:00:25 Query languages Computer languages Database theory Database management systems Relational database management systems SQL Relational model Datalog Q Data management Computing Software engineering
128	Field Theoretical Approach to the Conservation of Identity of a Complex Network System Masahiro Agu Fukushima National College of Technology, 30 Nagao, Kamiarakawa, Taira, Iwaki, Fukushima, , Japan Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Partial differential equations Probability current Magnetic potential Linear temporal logic Wightman axioms Physics Quantum mechanics Quantum field theory
129	Integer Point Sets Minimizing Average Pairwise ℓ1 Distance: What is the Optimal Shape of a Town? Erik D. Demaine∗ S´ andor P. Fekete† Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:33:35 Operations research Optimal control Systems engineering Systems theory Systems science Mathematics Linear temporal logic Dynamic programming Equations Mathematical optimization
130	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic

UPDATE